Programming Logically on the World Wide Web

Logic Programming, and the language Prolog in particular, has been proven to be very useful for the implementation of applications from various fields of Artificial Intelligence (e.g. Expert Systems, Machine Learning, Search, Reasoning, Planning, Natural Language Processing, Deductive Databases, Data Mining, etc) [1], [5]. One of the most dynamic programming paradigms nowadays is undoubtedly the Web programming paradigm, driven by the rapid growth of the WWW and the need for instant access to distributed and complex data. Combining these two paradigms by providing the power of Logic Programming to Web applications requires specific mechanisms of integration. The goal of the present paper is to deliver the mechanisms needed for the integration of Logic Programming in web based applications, both at the client side and the server side.